- вычислительная проверка
- Makarov: computational examination
Универсальный русско-английский словарь. Академик.ру. 2011.
вычислительная проверка
Смотреть что такое "вычислительная проверка" в других словарях:
Вычислительная геометрия — раздел дискретной математики, в котором рассматриваются алгоритмы для решения геометрических задач. В ней рассматриваются такие задачи как триангуляция, построение выпуклой оболочки, определение принадлежности одного объекта другому, поиск их… … Википедия
ГОСТ 18421-93: Аналоговая и аналого-цифровая вычислительная техника. Термины и определения — Терминология ГОСТ 18421 93: Аналоговая и аналого цифровая вычислительная техника. Термины и определения оригинал документа: 51 амплитудная характеристика (операционного усилителя): Зависимость установившегося значения выходного напряжения… … Словарь-справочник терминов нормативно-технической документации
верификация (проверка) — 1. Процесс определения соответствия качества или характеристик продукта или услуги тому, что предписывается, предопределяется или требуется. Верификация тесно связана с обеспечением качества и контролем качества. верификация компьютерной системы… … Справочник технического переводчика
Гипотеза Римана — Задачи тысячелетия Равенство классов P и NP Гипотеза Ходжа Гипотеза Пуанкаре Гипотеза Римана Квантовая теория Янга Миллса Существование и гладкость решений уравнений Навье Стокса Гипотеза Бёрча Свиннертон Дайера Гипотеза Римана о… … Википедия
Компьютерная геометрия — Вычислительная геометрия раздел дискретной математики, в котором рассматриваются алгоритмы для решения геометрических задач. В ней рассматриваются такие задачи как триангуляция, построение выпуклой оболочки, определение принадлежности одного… … Википедия
ИНВЕНТАРИЗАЦИЯ ИМУЩЕСТВА КРЕСТЬЯНСКОГО (ФЕРМЕРСКОГО) ХОЗЯЙСТВА — проверка имущества с выявлением его принадлежности, описанием основных признаков и определением технического состояния, а также оценка этого имущества. Инвентаризация проводится, как правило, по состоянию на 1 января. В том случае, когда в… … Большой бухгалтерский словарь
РМ 4-239-91: Системы автоматизации. Словарь-справочник по терминам. Пособие к СНиП 3.05.07-85 — Терминология РМ 4 239 91: Системы автоматизации. Словарь справочник по терминам. Пособие к СНиП 3.05.07 85: 4.2. АВТОМАТИЗАЦИЯ 1. Внедрение автоматических средств для реализации процессов СТИСО 2382/1 Определения термина из разных документов:… … Словарь-справочник терминов нормативно-технической документации
система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… … Словарь-справочник терминов нормативно-технической документации
Список алгоритмов — Эта страница информационный список. Основная статья: Алгоритм Ниже приводится список алгоритмов, группированный по категориям. Более детальные сведения приводятся в списке структур данных и … Википедия
Программируемые алгоритмы — Служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не устанавл … Википедия
Критерии определения безопасности компьютерных систем — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Критерии определения безопасности компьютерных систем (англ. Trusted Computer System Evaluation Criteria … Википедия
